Permutations avoiding 4321 and 3241 have an algebraic generating function

We show that permutations avoiding both of the (classical) patterns 4321 and 3241 have the algebraic generating function conjectured by Vladimir Kruchinin.Comment: 12 pages, 6 figure